Prove (1 cos x)